ICAP6000 (this is a MIQP) minco scip MPS